#ifndef __LIBS_RISCV_SBI_H__
#define __LIBS_RISCV_SBI_H__

#include <defs.h>

void sbi_console_putchar(unsigned char ch);
void sbi_set_timer(size_t stime_value);

#endif